๐Ÿง  What is a Sequence in Programming?
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Balance between refactoring and inheritance in your code
github.comยท3hยท
Discuss: Hacker News
โœ…Format Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท6h
๐Ÿ”—Topological Sorting
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukยท2h
๐Ÿค–Grammar Induction
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.orgยท11h
๐Ÿ’ปProgramming languages
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท2hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.comยท9hยท
Discuss: www.blogger.com
ฮปLambda Encodings
Planarizing matchings
11011110.github.ioยท20h
๐ŸŽจGraph Coloring
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท11hยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.comยท3h
๐Ÿง Machine Learning
A Kevin week
blog.mitrichev.chยท18hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
Weighted random generation in Python (2010)
eli.thegreenplace.netยท17hยท
Discuss: Hacker News
๐Ÿ”ขBitwise Algorithms
Algebraic Types are not Scary
blog.aiono.devยท4hยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท1hยท
Discuss: Hacker News
๐ŸŒณIncremental Parsing
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.toยท14hยท
Discuss: DEV
โœจEffect Handlers
Folks, we have the best ฯ€
lcamtuf.substack.comยท8hยท
Discuss: Substack
๐Ÿ“Mathematical Art
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท17hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
ECMAScript TC39 proposal-pattern-matching
github.comยท1hยท
Discuss: Hacker News
๐Ÿ”คType Theory
Polymorphic symmetric multiple dispatch with variance
dl.acm.orgยท4dยท
Discuss: Hacker News
๐Ÿ”คType Theory
Semantic Dictionary Encoding
falvotech.comยท37mยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary